翻訳と辞書 Words near each other ・ Absorbed dose ・ Absorbent Ink ・ Absorber (album) ・ Absorbing element ・ Absorbing Man ・ Absorbing Markov chain ・ Absorbing set ・ Absorbing set (random dynamical systems) ・ Absorbing the Disarray ・ Absorptance ・ Absorption ・ Absorption (acoustics) ・ Absorption (chemistry) ・ Absorption (economics) ・ Absorption (electromagnetic radiation) ・ Absorption (logic) ・ Absorption (pharmacokinetics) ・ Absorption (psychology) ・ Absorption (skin) ・ Absorption band ・ Absorption cross section ・ Absorption edge ・ Absorption hardening ・ Absorption heat pump ・ Absorption law ・ Absorption of water ・ Absorption refrigerator ・ Absorption spectroscopy ・ Absorption unit ・ Absorption wavemeter Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Absorption (logic) ： ウィキペディア英語版 Absorption (logic) Absorption is a valid argument form and rule of inference of propositional logic.〔http://www.philosophypages.com/lg/e11a.htm〕 The rule states that if $P$ implies $Q$, then $P$ implies $P$ and $Q$. The rule makes it possible to introduce conjunctions to proofs. It is called the law of absorption because the term $Q$ is "absorbed" by the term $P$ in the consequent.〔Russell and Whitehead, ''Principia Mathematica''〕 The rule can be stated: :$\backslash frac$ where the rule is that wherever an instance of "$P\; \backslash to\; Q$" appears on a line of a proof, "$P\; \backslash to\; (P\; \backslash and\; Q)$" can be placed on a subsequent line. == Formal notation == The ''absorption'' rule may be expressed as a sequent: : $P\; \backslash to\; Q\; \backslash vdash\; P\; \backslash to\; (P\; \backslash and\; Q)$ where $\backslash vdash$ is a metalogical symbol meaning that $P\; \backslash to\; (P\; \backslash and\; Q)$ is a syntactic consequences of $(P\; \backslash rightarrow\; Q)$ in some logical system; and expressed as a truth-functional tautology or theorem of propositional logic. The principle was stated as a theorem of propositional logic by Russell and Whitehead in ''Principia Mathematica'' as: :$(P\; \backslash to\; Q)\; \backslash leftrightarrow\; (P\; \backslash to\; (P\; \backslash and\; Q))$ where $P$, and $Q$ are propositions expressed in some formal system. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Absorption (logic)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.